<!-- user dropdown starts -->
<div class="btn-group pull-right">
    <a class="btn dropdown-toggle" href="/map" style="margin-right:10px"><i class="icon-home"></i><span class="hidden-phone">$display.alt($userInfo.companyName,"富士通南大temp")</span></a>
</div>
<div class="btn-group pull-right">
    <a class="btn dropdown-toggle" data-toggle="dropdown" href="#"><i class="icon-user"></i><span class="hidden-phone">$display.alt($userInfo.realName,"admin")</span><span class="caret"></span></a>
    <ul class="dropdown-menu">
        <li>
            <a href="/profile">Profile</a>
        </li>
        <li class="divider">
        </li>
        <li>
            <a href="/login">logout</a>
        </li>
    </ul>
</div>
<!-- user dropdown ends -->
